examples of trigonometric substitutions